Chapter 12 Stefan
نویسندگان
چکیده
The ability to restore a virtual platform from a previously saved simulation state can considerably shorten the typical edit-compile-debug cycle for software developers and therefore enhance productivity. For SystemC based virtual platforms (VP), dedicated checkpoint/restore (C/R) solutions are required, taking into account the specific characteristics of such platforms. Apart from restoring the simulation process from a checkpoint image, the proposed checkpoint solution also takes care of re-attaching debuggers and interactive GUIs to the restored virtual platform. The checkpointing is handled automatically for most of the SystemC modules, only the usage of host OS resources requires user provision. A process checkpointing based C/R has been selected in order to minimize the adaption required for existing VPs at the expense of large checkpoint sizes. This drawback is overcome by introducing an online compression to the checkpoint process. A case study based on the SHAPES Virtual Platform is conducted to investigate the applicability of the proposed framework as well as the impact of checkpoint compression in a realistic system environment. Andreas Hoffmann Synopsys Inc., Germany DOI: 10.4018/978-1-4666-2776-5.ch012
منابع مشابه
Nonlinear Two-Phase Stefan Problem
In this paper we consider a nonlinear two-phase Stefan problem in one-dimensional space. The problem is mapped into a nonlinear Volterra integral equation for the free boundary.
متن کاملNewton-Product integration for a Two-phase Stefan problem with Kinetics
We reduce the two phase Stefan problem with kinetic to a system of nonlinear Volterra integral equations of second kind and apply Newton's method to linearize it. We found product integration solution of the linear form. Sufficient conditions for convergence of the numerical method are given and their applicability is illustrated with an example.
متن کاملMechanistic Modeling of Organic Compounds Separation from Water via Polymeric Membranes
A mathematical model considering mass and momentum transfer was developed for simulation of ethanol dewatering via pervaporation process. The process involves removal of water from a water/ethanol liquid mixture using a dense polymeric membrane. The model domain was divided into two compartments including feed and membrane. For a description of water transport in ...
متن کاملSolving The Stefan Problem with Kinetics
We introduce and discuss the Homotopy perturbation method, the Adomian decomposition method and the variational iteration method for solving the stefan problem with kinetics. Then, we give an example of the stefan problem with kinetics and solve it by these methods.
متن کاملFlow Cytometry in Microbiology
• Introduction: Microbial Flow Cytometry: Technology and Applications. Martin G. Wilkinson • Chapter 1: Microbial Cytometry: What It Was, Is, and May Be. Howard M. Shapiro • Chapter 2: Non-Destructive OnChip Imaging Cytometry Assay for Constructive On-Chip Cellomics Studies. Kenji Yasuda • Chapter 3: Application of Flow Cytometry to Environmental Biotechnology. Mónica Herrero and Mario Díaz • C...
متن کاملBOOK REVIEW ESSAY Music and the Continuous Nature of the Mind: Koelsch’s (2012) Brain and Music Reviewed by Timothy Justus
Anyone interested in the neuroscience of music will likely be familiar with the work of Stefan Koelsch, who since 2010 is Professor of Biological Psychology and Music Psychology at the Freie Universität Berlin. His book Brain and Music (2012) is a useful synthesis of his rigorous empirical work and theoretical contributions on the psychology and neuroscience of music, which have included some 7...
متن کامل